Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 95.50%. Comparing base (01c9eb0) to head (fb3630a).

@@             Coverage Diff             @@
##             main    #3210       +/-   ##
===========================================
+ Coverage   82.25%   95.50%   +13.24%     
===========================================
  Files          94       83       -11     
  Lines        4283     3692      -591     
  Branches     1478     1334      -144     
===========================================
+ Hits         3523     3526        +3     
+ Misses        760      166      -594     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

FWIW, I think you can achieve something similar to this today via the following cocktail of rules:

import/no-duplicates + 'prefer-inline': true
Forbids separate import and import type statements, essentially enforcing inline type imports unless you are only importing types from a module. Autofixable. Implements the "prefer inline type imports unless only type imports" part of the prefer-top-level-if-only-type-imports option.

@typescript-eslint/no-import-type-side-effect
Forbids import statements that exclusively import type bindings - enforces using an import type statement instead. Autofixable. Implements the "prefer top-level imports if only type imports" part of the prefer-top-level-if-only-type-imports option.

With that said, it may still be useful to have this combined behavior available under a single rule.

P.S. for strictness in usage of type imports, I also like to throw in
@typescript-eslint/consistent-type-imports + fixStyle: 'inline-type-imports'
Enforces that bindings used as types only are imported as types. Allows both top-level (import type) and inline (import { type }) styles. However, the rules above will force it into one or the other based on whether the module is used only for type imports. Autofixable. fixStyle: 'inline-type-imports' means that IDE auto-importing a type (for me the binding is imported as a value) + autofixing = inline type import.